121. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1988
122. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
440
123. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1989
124. CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe FRG, October 12-16, 1987 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
329
125. Cafe
پدیدآورنده : / edited by K. Futatsugi, A.T. Nakagawa, T. Tamai
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Algebraic logic , Congresses,Formal methods (Computer science) , Congresses,Electronic books. , local
رده :
E-BOOK
126. Calculus of computation
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic. ; Computer programs ; Verification. ;
127. Calculus of computation
پدیدآورنده : / Aaron R. Bradley, Zohar Manna.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer logic,Computer programs--Verification
رده :
QA76
.
9
.
L63
,
B73
2010
128. Challenges for action theories
پدیدآورنده : Thielscher, Michael
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer logic,، System design,، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
1775
129. Circuit complexity and neural networks /
پدیدآورنده : Ian Parberry
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity,Logic circuits,Neural networks (Computer science)
رده :
QA76
.
87
.
P38
1994
130. Clausal form logic : an introduction to the logic of computer reasoning
پدیدآورنده : Richards, Tom.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
131. Cloud Computing and Big Data
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Big data. ; Computer network architectures. ; Software engineering. ; Logic design. ; Computer vision. ; Big Data. ;
132. Coditional inference and logic for interlligent systems: a theory of measure-free conditioning
پدیدآورنده : I.R. Goodman, H.T. Nguyen and E.A. Walker
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Expert systems (Computer science),Artificial intelligence,Probabilities,Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
E95G67
1991
133. Collegium Logicum.
پدیدآورنده : Kurt-Gödel-Gesellschaft
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
134. Compiler Generators :
پدیدآورنده : by Mads Tofte.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
C65
B963
1990
135. Comprehensive functional verification the complete industry cycle /
پدیدآورنده : Bruce Wile, John C. Goss, Wolfgang Roesner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Integrated circuits-- Verification.,Computer engineering.,COMPUTERS-- Logic Design.,Integrated circuits-- Verification.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.
رده :
TK7874
.
58
.
W55
2005eb
136. Compuer science logic: 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996: selected papers
پدیدآورنده : Dirk van Dalen, Marc Bezem )eds.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer logic - Congresses
رده :
QA
76
.
9
.
L63
W67
1996
137. Computation engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics. ; Computer logic. ; Machine theory. ;
138. Computation, logic, philosophy
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer science- Mathematics,Logic, Symbolic and mathematical
139. Computation, logic, philosophy : a collection of essays
پدیدآورنده : Wang, Hao
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer science-- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W35
1990
140. Computation, logic, philosophy :a collection of essays
پدیدآورنده : Wang, Hao
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : Mathematics ، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
W35
1990
